Chứng minh của Wiles về định lý cuối cùng của Fermat là chứng minh toán học của nhà toán học người Anh Andrew Wiles về một trường hợp đặc biệt của định lý Module đối với đường cong elip. Cùng với định lý Ribet, nó cung cấp một chứng minh cho Định lý cuối cùng của Fermat. Cả Định lý cuối cùng của Fermat và định lý Module hầu như đều được các nhà toán học đương thời coi là không thể chứng minh được, có nghĩa là chúng được cho là không thể chứng minh bằng cách sử dụng kiến ​​thức hiện tại.[1]:203–205, 223, 226Chứng minh lần đầu tiên được công bố bởi Wiles vào ngày 23 tháng 6 năm 1993 tại một bài giảng ở Cambridge với tiêu đề "Các dạng mô-đun, đường cong elliptic và biểu diễn Galois".[2] Tuy nhiên vào tháng 9 năm 1993, chứng minh được phát hiện là có sai sót. Một năm sau, vào ngày 19 tháng 9 năm 1994, vào thời điểm được ông gọi là "thời điểm quan trọng nhất trong cuộc đời làm việc của ông", Wiles tình cờ phát hiện ra một tiết lộ cho phép ông sửa lại bằng chứng làm hài lòng cộng đồng toán học. Chứng minh sửa chữa được xuất bản vào năm 1995.[3]Chứng minh của Wiles sử dụng nhiều kỹ thuật từ hình học đại số và lý thuyết số, và có nhiều phân nhánh trong các nhánh toán học này. Nó cũng sử dụng các cấu trúc tiêu chuẩn của hình học đại số hiện đại, chẳng hạn như loại lược đồ và lý thuyết Iwasawa , và các kỹ thuật khác của thế kỷ 20 mà vào thời của Fermat chưa tồn tại.